a -> Writer w b